Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study

نویسندگان

  • Michael Altenhofen
  • Achim D. Brucker
چکیده

Many software companies still seem to be reluctant to use formal specifications in their development processes. Nevertheless, the trend towards implementing critical business applications in distributed environments makes such applications an attractive target for formal methods. Additionally, the rising complexity also increases the willingness of the development teams to apply formal techniques. In this paper, we report on our experiences in formally specifying several core components of one of our commercially available products. While writing the formal specification, we experienced several issues that had a noticeable consequences on our work. While most of these issues can be attributed to the specific method and tools we have used, we do consider some of the problems as more general, impeding the practical application of formal methods, especially by non-experts, in large scale industrial development.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Rebirth of a city lessons learned from post disaster reconstruction the case study: Rofayye\'

After disasters, one of the main challenges confronting authorities is site selection for reconstructing damaged structures. Experiences indicate that appropriate policies in site-selection could greatly influence on reconstruction success and residents' satisfaction. Meanwhile, in literature related to post disaster reconstruction, avoiding from relocating settlements is generally emphasize...

متن کامل

What Does Industry Need From Formal Specification Techniques?

In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role of formal specifications in development and consider what are the important questions that need to be asked. I illustrate these with some practical experience on industrial projects and conclude with some lessons we hav...

متن کامل

PREMO : A Case Study in Formal Methods and Multimedia System Speci cation

SC24, the sub-committee of the International Organisation for Standardization responsible for the area of computer graphics and image processing, is in the process of completing work on a new standard for multimedia systems, called PREMO. For the rst time in SC24, formal methods were employed during the development of the standard. The lessons learned from this exercise are interesting for two ...

متن کامل

PREMO: A case study in formal methods and multimedia system specification

SC24, the sub-committee of the International Organisation for Standardization responsible for the area of computer graphics and image processing, is in the process of completing work on a new standard for multimedia systems, called PREMO. For the rst time in SC24, formal methods were employed during the development of the standard. The lessons learned from this exercise are interesting for two ...

متن کامل

Hospital Management in Infectious Disease Outbreak: Lessons Learned from COVID-19

Background: Biological events including epidemics, pandemics, emerging, and reemerging infectious diseases have significant adverse consequences on health. The hospitals have a major role in the management of outbreaks and mitigation of effects. During pandemics health systems especially, hospitals may be affected. Methods: Therefore, the current study aimed to collect and analyze lessons lea...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010